Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
551	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2012-03-09 11:37:19 Functional languages Type theory Logic in computer science Procedural programming languages Formal methods OCaml Type system Coq ML Software engineering Computing Programming language theory
552	Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing Arnar Birgisson, Daniel Hedin, and Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract. Tracking information Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-07-02 05:45:52 Data types Primitive types Control flow Information flow Information theory Exception handling Programming language String C Computing Software engineering Computer programming
553	DRA FRONT END FILTER PROJECT Proposal for Phase 2 Lemma 1 Project: Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:37:49 ALGOL 68 Transact-SQL Proof assistant KeY Logic Database Data management Computing Programming language theory
554	PDF Document Add to Reading List Source URL: faberwritingacademy.com.au Language: English - Date: 2015-03-16 19:18:40 C Software engineering Programming language theory Cross-platform software Computing Faber
555	EUROPEAN ORGANIZATION FOR NUCLEAR RESEARCH The F Programming Language Ralph Frisbie Ventura College, Ventura, CA Richard Hendrickson Add to Reading List Source URL: www.fortran.com Language: English - Date: 2002-08-03 20:57:50 Data types Type theory Procedural programming languages Array data type Type system C Array programming New Strong typing Software engineering Computing Computer programming
556	AspectC++ – A Language Overview c 2005 Olaf Spinczyk <> Friedrich-Alexander University Erlangen-Nuremberg Computer Science 4 Add to Reading List Source URL: www.aspectc.org Language: English - Date: 2014-03-31 14:22:39 Aspect-oriented software development Aspect-oriented programming C++ Method Type theory Pointcut AspectC++ Objective-C Type safety Software development Software engineering Computing
557	PDF Document Add to Reading List Source URL: web.archive.org Language: English Procedural programming languages ALGOL Pascal Turing Award PL/I Simula Programming language Structured programming Ada Software engineering Computing Programming language theory
558	PDF Document Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2009-11-24 11:04:49 Applied mathematics Science Artificial intelligence Mathematical optimization Linear programming Grammatical aspect Control theory MPS Scheduling Operations research Automated planning and scheduling Planning Domain Definition Language
559	PDF Document Add to Reading List Source URL: cargosupport.gov.au Language: English - Date: 2008-10-01 21:49:24 Pascal Cargo airline Import Customs Export Port Programming language theory International trade Transport Business
560	PDF Document Add to Reading List Source URL: www.acdict.edu.au Language: English - Date: 2012-07-01 07:42:29 Computing ALGOL 68 Computer science C University of Technology Sydney Programming language theory Software engineering Procedural programming languages

UPDATE